;;  An auxiliary file for the compilation of the TOPS-20 Maclisp version
;;  of our theorem prover.

;; (DECLARE (LET (DEFAULTF) (FASLOAD BASIS FASL AUX "CL.THM")))

;;(EVAL-WHEN (COMPILE EVAL) (LET (DEFAULTF) (FASLOAD BASIS)))
;;(EVAL-WHEN (COMPILE EVAL) (FASLOAD BASIS))

(EVAL-WHEN (COMPILE) (FASLOAD BASIS FAS DSK))